Period doubling in the Rossler system - a computer assisted proof

摘要

The goal of this paper is to show how to produce a piece of rigorousbifurcation diagram of periodic orbits for an ODE. We study the Rossler system,one of the textbook examples of ODEs generating nontrivial dynamics, for theparameter range containing two period doubling bifurcations.